#include <halinit.h>

/*********************************************************************************
 * 
 * hal_init - 硬件平台初始化
 * 
 * DESCRIPTION
 */

LKHEAD_T void hal_init (void)
    {
    platform_init ();      /* MMU和中断向量初始化 */
    hal_uart_init ();      /* 串口初始化 */
    hal_mach_init ();      /* 内核相关变量初始化 */
    hal_mem_init ();       /* 内存地址空间管理初始化 */
    hal_intrpt_init ();    /* 中断管理初始化 */

    return;
    }
